#include<stdio.h>
int main(){
//	long i=1,j;
//	while(j<10000){
////		j=i*7;
//		j=j+7;
////		if(j<=10000)
//		printf("%ld\t",j);
////		i++;
//	}
//}

//	long j=1,i;
//	do{
//		i=j %7;
//		if(i==0)
//		printf("%ld\t",j);
//		j++;
//	}while(j<=10000);
//}

	long j=1,i;
	do{
		do{
			i=j %7;
			j++;
		}while(i!=0);
	printf("%ld\t",j-7);
	}while(j<=10000);
}
	
